Android system is becoming the most popular mobile operating system for its opening property. However, the opening also brings some problems, the resource leak is one of the common ones. For the problems that resource leak is existed in Android system and no benchmarks has been provided for this specific issue, a benchmark named ResLeakBench for resource leak problem was proposed. First, official Android reference and a lot of real apps were studied, then the operation of resources and their common application scenarios were generalized. Second, 35 self-designed test apps were put into the benchmark according to the collected information; besides, to ensure the practicality of the benchmarks, 35 real apps related to resources were added into the benchmark. Finally, to evaluate the ResLeakBench, the resource leak analysis tool Relda2 and resource leak fixing tool RelFix were tested on the benchmark, and some shortages of Relda2 and RelFix were found. The experimental results show that ResLeakBench is a practical benchmark.

The test case generation method of data gathering protocol for Wireless Sensor Network (WSN) based on timed automata model was studied from the perspective of protocol testing, then the time automata model for data gathering protocol was established using UPPAAL, and the test traces set satisfied with certain coverage criteria was generated using UPPAAL CoVer. In order to facilitate the actual test case generation, an auxiliary automatic test case generation tool named Auto Test Case Generation Tool (ATCGT) was developed. The effectiveness of the method was proved by modeling and test cases generating for a wireless meter reading data gathering protocol in industry.